Implementing mathematics with the Nuprl proof development system
- Författare
- (R.L. Constable ...)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Prentice-Hall | cop. 1986 | Storbritannien, Englewood Cliffs, N.J, London | x, 299 sidor. | 0-13-451832-2 |